More from this Author

Relational and Kleene-Algebraic Methods in Computer Science

by R. Berghammer (Editor), Bernhard Möller (Editor), Georg Struth (Editor)